Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
241	Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-05-26 15:13:50 Formal systems Proof theory Logic in computer science Formal methods Theoretical computer science KeY Automated theorem proving Mathematical proof Formal verification Mathematical logic Modal logic Dynamic logic
242	Microsoft Word - LAW-Paper.doc Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Theoretical computer science Logic in computer science Formal methods Computer security ACL2 Lisp Formal verification SPARK Domain-specific language Pointer Information security Programming language
243	The Why3 platform Version 0.82, December 2013 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2013-12-12 05:50:31 Proof assistants Formal methods Logic in computer science Alt-Ergo Frama-C Theoretical computer science Coq Formal verification KeY IP
244	Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2010-10-18 00:06:19 Software engineering Theoretical computer science Computing Logic in computer science Formal methods Programming language semantics Control flow Eval Functional languages Operational semantics Robert Bruce Findler Racket
245	Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri Add to Reading List Source URL: homepage.lnu.se Language: English - Date: 2015-06-01 09:34:52 Metaphysics Complex systems theory Philosophy Formal methods Theoretical computer science Logic in computer science Runtime verification Model checking Complex adaptive system System Emergence Field
246	ISBIS Summer School 2011 Cagliari Announcement Add to Reading List Source URL: www.isbis.org Language: English - Date: 2011-03-16 08:29:22 Formal sciences Econometrics Statistical methods Data Statistics Regression analysis Cagliari Sardinian wine Prediction
247	Rooter: A Methodology for the Typical Unification of Access Points and Redundancy Jeremy Stribling, Daniel Aguayo and Maxwell Krohn A BSTRACT Many physicists would agree that, had it not been for congestion control, the Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2005-04-09 16:37:16 Theoretical computer science Mathematics Theory of computation Computability theory Models of computation Mathematical logic Formal methods Algorithm Turing machine Randomized algorithm IP Alan Turing
248	HSVCHiSilicon Verification Conference 2014 February 19-20, 2014, Bantian, Longgang District,Shenzhen, P.R.China Call for Participation HiSilicon Technologies is calling for participants to join its 1st inte Add to Reading List Source URL: www.hisilicon.com Language: English - Date: 2013-10-31 06:19:52 Formal methods Electronic design automation Functional verification Post-silicon validation FPGA prototyping Logic simulation Formal verification
249	Call by Contract for Cryptographic Protocols Add to Reading List Source URL: evenmere.org Language: English - Date: 2008-06-23 13:57:19 Formal methods Logic in computer science Metalogic Automated theorem proving Logic programming Substitution Postcondition First-order logic Parameter Precondition Well-formed formula Model theory
250	Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin Add to Reading List Source URL: se.inf.ethz.ch Language: English Software engineering Theoretical computer science Formal methods Logic in computer science Computer programming Software testing Extreme programming Postcondition Software bug Precondition Assertion Random testing

UPDATE